CZT: A Framework for Z Tools

نویسندگان

  • Petra Malik
  • Mark Utting
چکیده

The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecking, transforming and printing standard Z specifications in LTEX, Unicode or XML formats. This paper gives an overview of the CZT framework, including an introduction to its visitor design pattern that makes it possible to write new Z transformation tools in just a few lines of Java code. The paper also discusses several problems and challenges that arose when attempting to build tools based on the ISO Standard for Z.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

CZT Support for Z Extensions

Community Z Tools (CZT) is an integrated framework for the Z formal specification language. In this paper, we show how it is also designed to support extensions of Z, in a way that minimises the work required to build a new Z extension. The goals of the framework are to maximise extensibility and reuse, and minimise code duplication and maintenance effort. To achieve these goals, CZT uses a var...

متن کامل

Formal Analysis in Model Management: Exploiting the Power of CZT

Software engineering diagrams are hard to verify and formally analyse, often due to inadequately defined diagram semantics: the semantics often does not enable formal analysis, or may be underspecified to a degree that does not allow useful properties to be checked. The AUtoZ tools (jamesrobertwilliams.co.uk/autoz.php) provide formalisation in the style of commercially-acceptable model manageme...

متن کامل

Comparison between the Ccd Czt and the Digital Fft

The CCD analog transversal filter Is a tremendously cost-effective component In terms of its simplicity compared to equivalent diqltal hardware. In view of this, the chirp z-transform (CZT) algorithm for performing spectral analysis is ideally suited to ccn implementation because, in this algorithm, the bulk of the computation Is performed in a transversal filter. The CCD CZT has some performan...

متن کامل

Evaluation of a Compton scattering camera using 3-D position sensitive CdZnTe detectors

A CZT Compton Camera (CCC) is being built using two three-dimensional (3-D) position-sensitive CZT detectors. Expected system performance was analyzed by analytical and Monte Carlo approaches. Based on the measurement of detector energy and position resolution, the expected angular resolution is &33 and &23 for a $303 FOV for 511 keV and 1 MeV c-rays, respectively. The intrinsic e$ciency for a ...

متن کامل

Application of Image Reconstruction by Means of Chirp z-Transform

The optical C T (Computerized Tomography), which utilises light transmitted through a semi-opaque object extends vision to the inside of objects. The projection profiles of the optical C T are smeared due to the scattering of light in a translucent medium. In the image reconstruction for MRI (Magnetic Resonance Imaging), FID (Free Induction Decay) signals consisting of decaying sinusoids inevit...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005